Paraphrasing and Aggregating Argumentative Text Using Text Structure

We argue in this paper that sophisticated mi-croplanning techniques are required even for mathematical proofs, in contrast to the belief that mathematical texts are only schematic and mechanical. We demonstrate why paraphrasing and aggregation signiicantly enhance the exibility and the coherence of the text produced. To this end, we adopted the Text Structure of Meteer as our basic representation. The type checking mechanism of Text Structure allows us to achieve paraphrasing by building comparable combinations of linguistic resources. Speciied in terms of concepts in an uniform ontological structure called the Upper Model, our semantic aggregation rules are more compact than similar rules reported in the literature.